Provable security - PDFSEARCH.IO - Document Search Engine

Provable security
Results: 54

#	Item
21	CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical proof RSA PP Provable security Cryptography Mathematics Mathematical logic
22	Authenticated Encryption in Theory and in Practice Jean Paul Degabriele Thesis submitted to the University of London for the degree of Doctor of Philosophy Add to Reading List Source URL: www.isg.rhul.ac.uk Language: English - Date: 2014-10-10 11:05:41 Block cipher Cipher RSA Authenticated encryption Symmetric-key algorithm Key size Provable security Key Cryptographic protocol Cryptography Block cipher modes of operation Public-key cryptography
23	Beyond Provable Security Verifiable IND-CCA Security of OAEP Gilles Barthe1 , Benjamin Gr´egoire2, Yassine Lakhnech3 , and Santiago Zanella B´eguelin1 1 Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Advantage Tiny Encryption Algorithm Random oracle 0K Chosen-ciphertext attack Cryptography Optimal asymmetric encryption padding Semantic security
24	CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical proof RSA PP Provable security Cryptography Mathematics Mathematical logic
25	Beyond Provable Security Verifiable IND-CCA Security of OAEP Gilles Barthe1 , Benjamin Gr´egoire2, Yassine Lakhnech3 , and Santiago Zanella B´eguelin1 1 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Advantage Tiny Encryption Algorithm Random oracle 0K Chosen-ciphertext attack Cryptography Optimal asymmetric encryption padding Semantic security
26	Curriculum Vitae Silvio Micali Ford Professor of Engineering Electrical Engineering and Computer Science Department Stata Center, Room G644, 32 Vassar Street, Cambridge, MA5949 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2015-04-22 20:29:48 Verifiable secret sharing Gödel Prize Interactive proof system Claude Crépeau Pseudorandom function family Probabilistic encryption Oblivious transfer Zero-knowledge proof Provable security Cryptography Cryptographic protocols Silvio Micali
27	Non-Repudiable Provable Data Possession in Cloud Storage Hongyuan Wang, Liehuang Zhu, Yijia Lilong, and Chang Xu School of Computer, Being Institute of Technology, Beijing, China, 100081 {wanghongyuan, liehuangz, lilongy Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-06 07:36:32 RSA Server Computing Cyberwarfare Security Cryptography Commitment scheme Cloud computing
28	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science
29	BMGL: Synchronous Key-stream Generator with Provable Security (Revision 1) Johan H˚ astad∗ NADA, Royal Inst. of Technology SE[removed]Stockholm, Sweden Add to Reading List Source URL: www.cosic.esat.kuleuven.be Language: English - Date: 2001-03-16 15:30:07 Cryptography Pseudorandom generator theorem Hard-core predicate Pseudorandom generator Keystream Exponential distribution Itō diffusion Pseudorandomness Theoretical computer science Mathematics
30	Pseudorandom Functions and Lattices Abhishek Banerjee1 1 Georgia Chris Peikert1 Institute of Technology Add to Reading List Source URL: www.iacr.org Language: English - Date: 2012-04-20 07:04:19 Symmetric-key algorithm Provable security Cryptography Pseudorandomness Pseudorandom function family

UPDATE